Let G be a finite group of permutations of a set S. Then, for any i in S, |G| = |orbG(i)| |stabG(i)|